SMARTIAN: Enhancing Smart Contract Fuzzing with Data-Flow Analyses - 2021 English version - LINE Developers 36:10 3 years ago 601 Далее Скачать
[CB22]SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses CODE BLUE 39:19 1 year ago 245 Далее Скачать
Introduction to Fuzz Testing Service for Ethereum Smart Contracts Smart Contract Fuzzing Service 1:00 3 years ago 60 Далее Скачать
Tutorial on how to read the results of Smart Contract Fuzzing Service Smart Contract Fuzzing Service 3:12 3 years ago 25 Далее Скачать
Smart contracts for beginners, explained (in 6 minutes) | Cryptopedia Cointelegraph 6:14 2 years ago 42 050 Далее Скачать
Harvey: A Greybox Fuzzer for Smart Contracts (Teaser, ESEC/FSE 2020) ACM SIGSOFT 2:01 4 years ago 171 Далее Скачать
Smart Contract Audit : A Detailed Guide - 101 Blockchains 101Blockchains 7:18 3 years ago 2 483 Далее Скачать
Fuzztastic Foundry: Fuzz Testing for Solidity Smart Contracts Chainlink 3:18 1 year ago 1 125 Далее Скачать
Dynamic Vulnerability Detection on Smart Contracts Using Machine Learning Mojtaba Eshghie 14:54 3 years ago 741 Далее Скачать
#HITB2023HKT D2T1 - Locate Vulnerabilities Of Ethereum Smart Contracts - Boik Su Hack In The Box Security Conference 46:18 1 year ago 326 Далее Скачать
Property testing with Echidna and Manticore for secure smart contracts trailofbits 13:42 5 years ago 1 877 Далее Скачать
Symbolic Value-Flow Static Analysis: Deep, Precise, Complete Modeling of Ethereum Smart Contracts ACM SIGPLAN 14:58 3 years ago 414 Далее Скачать
Securify: Practical Security Analysis of Smart Contracts Association for Computing Machinery (ACM) 26:02 5 years ago 4 990 Далее Скачать
